Semantic Web Services Composition in the astrophysics domain: Issues and solutions

Semantic Web Services Composition

Web services are becoming the most predominant paradigm for distributed computing and electronic business. They are self-contained Internet accessible applications that are capable not only of performing business activities on their own, but they also possess the ability to engage with other Web services in order to build new value-added services. Both academic and industrial bodies have been i...

Semantic Web Enabled Composition of Web Services

Timing Issues in Web Services Composition

webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized mechanism for events raising and catching. In this paper we encode Berger-Honda Timed-π in webπ timed workunits and we prove a simulation theorem. The overall perspective of this work is to make webπ comparable with both...

Toward the Composition of Semantic Web Services

This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for external presentation of web services, and, internally, the services are presented by extralogical axioms and proofs in linear logic. Linear logic(LL)[2], as a resource conscious logic, enables us to define the attribute...

Context and Semantic Composition of Web Services

Composition of Web services is a cornerstone step in the development of interoperable systems. However, Web services still face data-heterogeneity challenges, although several attempts of using semantics. In addition, the context in which Web services evolve is still somehow ”ignored”, hampering their adaptability to changes in composition situations. In this paper, we argue how context permits...